Concurrent programming languages

Results: 336



#Item
71Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh

Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-02-17 17:51:35
72Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗

Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗

Add to Reading List

Source URL: www.sigops.org

Language: English - Date: 2011-09-11 16:39:27
73Lock-free programming for the masses KC Sivaramakrishnan University of Cambridge Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. We present

Lock-free programming for the masses KC Sivaramakrishnan University of Cambridge Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. We present

Add to Reading List

Source URL: kcsrk.info

Language: English - Date: 2016-08-01 08:25:07
74OMR A JVM’s Journey Into Polyglot Runtimes Charlie Gracie February 8, 2016

OMR A JVM’s Journey Into Polyglot Runtimes Charlie Gracie February 8, 2016

Add to Reading List

Source URL: www.jfokus.se

Language: English - Date: 2016-02-26 05:20:33
75Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University

Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University

Add to Reading List

Source URL: sigops.org

Language: English - Date: 2011-09-20 03:37:00
76Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine Sebastian Ertel Michael J. Beckerle

Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine Sebastian Ertel Michael J. Beckerle

Add to Reading List

Source URL: lame2013.dei.uc.pt

Language: English - Date: 2013-06-28 07:40:32
77The Hierarchically Tiled Arrays Programming Approach ∗ Basilio B. Fraguela† , Jia Guo, Ganesh Bikshandi, Mar´ıa J. Garzar´ an, Gheorghe Alm´ asi‡ , Jos´ e Moreira‡ , and David Padua

The Hierarchically Tiled Arrays Programming Approach ∗ Basilio B. Fraguela† , Jia Guo, Ganesh Bikshandi, Mar´ıa J. Garzar´ an, Gheorghe Alm´ asi‡ , Jos´ e Moreira‡ , and David Padua

Add to Reading List

Source URL: www.des.udc.es

Language: English - Date: 2005-02-24 02:59:56
78Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures Phitchaya Mangpo Phothilimthana Tikhon Jelvis Rohin Shah

Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures Phitchaya Mangpo Phothilimthana Tikhon Jelvis Rohin Shah

Add to Reading List

Source URL: pl.eecs.berkeley.edu

Language: English - Date: 2015-02-13 21:22:08
79 Why Rust? Jim Blandy Why Rust? by Jim Blandy

Why Rust? Jim Blandy Why Rust? by Jim Blandy

Add to Reading List

Source URL: www.oreilly.com

Language: English - Date: 2015-09-14 14:59:51
80Dept Number Semester Hours Catalog Description

Dept Number Semester Hours Catalog Description

Add to Reading List

Source URL: www.cs.siu.edu

Language: English - Date: 2014-06-18 13:37:54